1. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
2. Automation of reasoning
پدیدآورنده : / edited by Jorg Siekmann and Graham Wrightson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
QA76
.
9
،.
A96
,
A94
1983
3. Automation of reasoning
پدیدآورنده : edited by Jorg Siekmann and Graham Wrightson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96A97
